A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program is a (...) wrenching metamorphosis that changes a mathematical abstraction into a prescription for concrete actions to be taken by real computers. Therefore, it is verification of program executions (processes) that is needed, not of program texts that are merely the scripts for those processes. In this view, verification is the empirical investigation of: (a) the behavior that programs invoke in a computer system and (b) the larger context in which that behavior occurs. Here, deduction can play no more, and no less, a role than it does in the empirical sciences. (shrink)

This conceptual paper revisits the concept of equality as a base of distributive justice and contends that it is underspecified, both theoretically and in terms of its ethical and pragmatic application to human resource management (HRM) within organizations. Prior organizational literature focuses primarily upon distributive equality of remunerative outcomes within small groups and implicitly employs an equity-based conception of inputs to define equality. In contrast, through exposition of the philosophical roots of equality principles, we reconceptualize inputs as de facto equal (...) and consider the systemic application of distributive equality in the form of status leveling practices. Ethical ramifications of distributive equality so viewed are explored. We conclude by arguing that, to implicitly insert a stronger ethics focus into the study and practice of HRM, perhaps there should be "equality theory" competing with equity theory for recognition in managerial and scholarly discourse. (shrink)

There are significant problems involved in determining the ontology of quantum field theory. An ontology involving particles seems to be ruled out due to the problem of defining localized position operators, issues involving interactions in QFT, and, perhaps, the appearance of unitarily inequivalent representations. While this might imply that fields are the most natural ontology for QFT, the wavefunctional interpretation of QFT has significant drawbacks. A modified field ontology is examined where determinables are assigned to open bounded regions of spacetime (...) instead of spacetime points. (shrink)

Some physicists and philosophers argue that unitarily inequivalent representations in quantum field theory are mathematical surplus structure. Support for that view, sometimes called ‘algebraic imperialism’, relies on Fell’s theorem and its deployment in the algebraic approach to QFT. The algebraic imperialist uses Fell’s theorem to argue that UIRs are ‘physically equivalent’ to each other. The mathematical, conceptual, and dynamical aspects of Fell’s theorem will be examined. Its use as a criterion for physical equivalence is examined in detail and it is (...) proven that Fell’s theorem does not apply to the vast number of representations used in the algebraic approach. UIRs are not another case of theoretical underdetermination, because they make different predictions about ‘classical’ operators. These results are applied to the Unruh effect where there is a continuum of UIRs to which Fell’s theorem does not apply. _1_ Introduction _2_ Weak Equivalence and Physical Equivalence _3_ Mathematical Overview of Algebraic Quantum Field Theory _4_ Fell’s Theorem and Philosophical Responses to Weak Equivalence _5_ Weak Equivalence in C*-Algebras and W*-Algebras _6_ Classical Equivalence and Weak Equivalence _7_ Interlude: Is Weak Equivalence Really Physical Equivalence? _8_ The Unruh Effect _9_ Time Evolution and Symmetries _10_ Conclusions Appendix. (shrink)

The conserved quantities theory of causation (CQTC) attempts to use physics as the basis for an account of causation. However, a closer examination of the physics involved in CQTC reveals several critical failures. Some of the conserved quantities in physics cannot be used to distinguish causal interactions. Other conserved quantities cannot always be the properties of fields or particles. Finally, CQCT does not account for causal interactions that are static.

It is usually assumed that the modal ontological argument is valid. However, the logical system in which the argument is analyzed can require different assumptions to secure validity. Some strategies for the both critics and proponents of the modal ontological argument are examined in different logical systems. For agnostics, statements involving a perfect being may have a truth value other than true or false. A many-valued modal logic may be a more suitable framework for agnostics, and the modal ontological argument (...) will be invalid in some many-valued modal logics. These considerations show that defenders of the modal ontological argument must also defend the choice of a particular logic (or class of logics) as the appropriate setting where the argument should be evaluated. (shrink)

A collection of interviews with influential theorists working in philosophy of logic. The questions: Why were you initially drawn to the philosophy of logic? What are your main contributions to the philosophy of logic? What is the proper role of philosophy of logic in relation to other disciplines, and to other branches of philosophy? What have been the most significant advances in the philosophy of logic? What are the most important open problems in philosophy of logic, and what are the (...) prospects for progress? Interviews with JC Beall, John Lane Bell, Johan van Benthem, Patricia A. Blanchette, Otávio Bueno, James Cargile, Mark Colyvan, Newton Carneiro Affonso da Costa, Pascal Engel, Susan Haack, Jaakko J. Hintikka, Dale Jacquette, Penelope Maddy, Lawrence S. Moss, Catarina Dutilh Novaes, Ahti-Veikko Pietarinen, Graham Priest, Stephen Read, Nicholas Rescher, Stewart Shapiro, Peter Simons, Timothy Williamson, Jan Woleński. (shrink)

Poverty, inequality, violence, environmental degradation, and tyranny continue to afflict the world. Ethics of Global Development offers a moral reflection on the ends and means of local, national, and global efforts to overcome these five scourges. After emphasizing the role of ethics in development studies, policy-making, and practice, David A. Crocker analyzes and evaluates Amartya Sen's philosophy of development in relation to alternative ethical outlooks. He argues that Sen's turn to robust ideals of human agency and democracy improves on (...) both Sen's earlier emphasis on 'capabilities and functionings' and Martha Nussbaum's version of the capability orientation. This agency-focused capability approach is then extended and strengthened by applying it to the challenges of consumerism and hunger, the development responsibilities of affluent individuals and nations, and the dilemmas of globalization. Throughout the book the author argues for the importance of more inclusive and deliberative democratic institutions. (shrink)

In his autobiographical-biographical study, Father and Son, Edmund Gosse describes how one evening, during his childhood, while his father was praying at - or, rather, over - his bed, a rather large insect dark and flat, with more legs than a self-respecting insect ought to need, appeared at the bottom of the counterpane, and slowly advanced… I bore it in silent fascination till it almost tickled my chin, and then I screamed ‘Papa! Papa!’. My Father rose in great dudgeon, removed (...) the insect and then gave me a tremendous lecture. 1. (shrink)

Ethical reflection on the practice of war stands in a long tradition in Western philosophy and theology, a tradition which begins with the writings of Plato and Augustine and encompasses accounts of justified warfare offered by writers from the Medieval period to the present. Ethical reflection on nuclear war is of necessity a more recent theme. The past few years have seen an enormous increase in popular as well as scholarly concern with nuclear issues, and philosophers have joined theologians in (...) exploring the moral issues surrounding the harnessing of atomic forces in the service of war. (shrink)

Although the basic ideas of the ontological argument can be found in Aristotle and Philo Judaeus, the argument received its classical formulation in Anselm's Proslogion and his Reply to the objections raised by Gaunilo. During the succeeding nine centuries the argument has had a chequered career. It was supported by some scholastic theologians but rejected by Aquinas. Descartes and Leibniz offered their own versions of the proof but Kant's refutation of the argument has generally been accepted as conclusive during the (...) past century and a half. Nevertheless, interest in the proof has never completely disappeared—perhaps provoked by Aquinas' suggestion that the proof may be valid for God even though it cannot be valid for us because of the inadequacy of our knowledge of God. Recently there has been a revival of interest in the ontological argument. J. N. Findlay put the argument into reverse to show the necessary non-existence of God in an article in 1948 but in later writings he has suggested that the argument may have positive significance. In 1960 Norman Malcolm published a paper in which he distinguished two basically different forms of the ontological argument in the Proslogion and defended the possible validity of the second of them. (shrink)

On the evolution of mind Harry J. Jerison Most of us think of mind as a little person in the head, the 'knower' of reality (cf. Attneave,). ...

A detailed treatment regarding the diverse properties and uses of evidence and the judgmental tasks they entail. Examines various processes by which evidence may be developed or discovered. Considers the construction of arguments made in defense of the relevance and credibility of individual items and masses of evidence as well as the task of assessing the inferential force of evidence. Includes over 100 numerical examples to illustrate the workings of diverse probabilistic expressions for the inferential force of evidence and the (...) subtleties they reveal. (shrink)

Traditional explanations of multistable visual phenomena (e.g. ambiguous figures, perceptual rivalry) suggest that the basis for spontaneous reversals in perception lies in antagonistic connectivity within the visual system. In this review, we suggest an alternative, albeit speculative, explanation for visual multistability – that spontaneous alternations reflect responses to active, programmed events initiated by brain areas that integrate sensory and non-sensory information to coordinate a diversity of behaviors. Much evidence suggests that perceptual reversals are themselves more closely related to the expression (...) of a behavior than to passive sensory responses: (1) they are initiated spontaneously, often voluntarily, and are influenced by subjective variables such as attention and mood; (2) the alternation process is greatly facilitated with practice and compromised by lesions in non-visual cortical areas; (3) the alternation process has temporal dynamics similar to those of spontaneously initiated behaviors; (4) functional imaging reveals that brain areas associated with a variety of cognitive behaviors are specifically activated when vision becomes unstable. In this scheme, reorganizations of activity throughout the visual cortex, concurrent with perceptual reversals, are initiated by higher, largely non-sensory brain centers. Such direct intervention in the processing of the sensory input by brain structures associated with planning and motor programming might serve an important role in perceptual organization, particularly in aspects related to selective attention. (shrink)

How do people attribute responsibility in situations where the contributions of multiple agents combine to produce a joint outcome? The prevalence of over-determination in such cases makes this a difficult problem for counterfactual theories of causal responsibility. In this article, we explore a general framework for assigning responsibility in multiple agent contexts. We draw on the structural model account of actual causation (e.g., Halpern & Pearl, 2005) and its extension to responsibility judgments (Chockler & Halpern, 2004). We review the main (...) theoretical and empirical issues that arise from this literature and propose a novel model of intuitive judgments of responsibility. This model is a function of both pivotality (whether an agent made a difference to the outcome) and criticality (how important the agent is perceived to be for the outcome, before any actions are taken). The model explains empirical results from previous studies and is supported by a new experiment that manipulates both pivotality and criticality. We also discuss possible extensions of this model to deal with a broader range of causal situations. Overall, our approach emphasizes the close interrelations between causality, counterfactuals, and responsibility attributions. (shrink)

Correspondence should be addressed to David A. Leopold david[email protected] the viewing of certain patterns, widely known as ambiguous or puzzle figures, perception lapses into a sequence of spontaneous alternations, switching every few seconds between two or more visual interpretations of the stimulus. Although their nature and origin remain topics of debate, these stochastic switches are generally thought to be the automatic and inevitable consequence of viewing a pattern without a unique solution. We report here that in humans such (...) perceptual alternations can be slowed, and even brought to a standstill, if the visual stimulus is periodically removed from view. We also show, with a visual illusion, that this stabilizing effect hinges on perceptual disappearance rather than on actual removal of the stimulus. These findings indicate that uninterrupted subjective perception of an ambiguous pattern is required for the initiation of the brain-state changes underlying multistable vision.Visual perception involves coordination between sensory sampling of the world and active interpretation of the sensory data. Human perception of objects and scenes is normally stable and robust, but it falters when one is presented with patterns that are inherently ambiguous or contradictory. Under such conditions, vision lapses into a chain of continually alternating percepts, whereby a viable visual interpretation dominates for a few seconds and is then replaced by a rival interpretation. This multistable vision, or 'multistability', is thought to result from destabilization of fundamental visual mechanisms, and has offered valuable insights into how sensory patterns are actively organized and interpreted in the brain1, 2. Despite a great deal of recent research and interest in multistable perception, however, its neurophysiological underpinnings remain poorly understood. Physiological studies have suggested that disambiguation of ambiguous patterns. (shrink)

Psychodynamic psychotherapy and psychoanalysis have had to defend themselves from a barrage of criticisms throughout their history. In this book David Jopling argues that the changes achieved through therapy are really just functions of placebos that rally the mind's native healing powers. It is a bold new work that delivers yet another blow to Freud and his followers.

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Despite the compelling subjective experience of executive self-control, we argue that ‘consciousness’ contains no top-down control processes. We propose that ‘consciousness’ involves no executive, causal or controlling relationship with any of the familiar psychological processes conventionally attributed to it. In our view all psychological processing and psychological products are non-conscious. In particular, we argue that all ‘contents of consciousness’ are generated by and within non-conscious brain systems in the form of a continuous self-referential personal narrative that is not directed or (...) influenced in any way by the ‘experience of consciousness’. This continuously updated personal narrative arises from selective ‘internal broadcasting’ of outputs from non-conscious executive systems that have access to all forms of cognitive processing, sensory information and motor control. The personal narrative provides information for storage in autobiographical memory and is underpinned by constructs of self and agency, also created in non-conscious systems. The experience of consciousness, is seen as a passive accompaniment to the non-conscious processes of internal broadcasting and the creation of the personal narrative. In this sense personal awareness is analogous to the rainbow which accompanies physical processes in the atmosphere but exerts no influence over them. Though at an individual level it is an end-product created by non-conscious executive systems, the personal narrative serves the powerful evolutionary function of enabling individuals to communicate (externally broadcast) the contents of internal broadcasting. This in turn allows the recipients to generate potentially adaptive strategies, such as predicting the behavior of others and underlies the development of social and cultural structures, that promote species survival. Consequently, it is the capacity to communicate to others the contents of the personal narrative that confers an evolutionary advantage – not the experience of consciousness (personal awareness) itself. (shrink)

In this clear and reasoned discussion of self- knowledge and the self, the author asks whether it is really possible to know ourselves as we really are. He illuminates issues about the nature of self-identity which are of fundamental importance in moral psychology, epistemology and literary criticism. Jopling focuses on the accounts of Stuart Hampshire, Jean-Paul Sartre and Richard Rorty, and dialogical philosophical psychology and illustrates his argument with examples from literature, drama and psychology.

What sorts of reasons are i) required and ii) morally acceptable when citizens in a pluralist liberal democracy undertake to resolve pressing political issues? This paper presents and then critically examines John Rawls''s answer to this question: his so called wide-view of public reason. Rawls''s view requires that the content of liberal public reason prove rich enough to yield a reasoned and determinate resolution for most if not all fundamental political issues. I argue that the content of liberal public reason (...) will prove inadequate in this regard far more often than Rawls suspects. (shrink)

Rawls's "The Law of Peoples" has not been well received. The first task of this essay is to draw (what the author regards as) Rawls's position out of his own text where it is imperfectly and incompletely expressed. Rawls's view, once fully and clearly presented, is less vulnerable to common criticisms than it is often taken to be. The second task of this essay is to go beyond Rawls's text to develop some supplementary lines of argument, still Rawlsian in spirit, (...) to deflect key criticisms made by Rawls's critics. The overall defense given here of Rawls's position draws on a deep theme running throughout all of Rawls's work in political philosophy, namely, that the task of political philosophy is to mark the moral limits given by and through a common human reason, itself socially and historically achieved, within which human nature must develop (and reveal itself over time) if it is to be an expression or manifestation of human freedom. (shrink)

As a member of the National Science Advisory Board for Biosecurity, I was involved in early deliberations about the appropriateness of publishing this avian influenza research when manuscripts were referred to us from two scientific journals during their review process, via the U.S. government. As described by David Resnik in this issue, we grappled with benefits and risks, and in our initial, unanimous decision recommended limited publication, alerting the world to the possibility of evolved transmissibility in these viruses but (...) with redaction of the exact genetic mutations that would enable anyone skilled in the art to synthesize these potentially dangerous viruses. However, after additional discussion, both internal and external to the board, we were asked to reconsider the situation, and this time a majority voted in favor of full publication. I was one of the minority that opposed full publication. Resnik points to the difficulties of performing a formal risk‐benefit assessment without the means of quantifying these two terms and suggests application of reasoning based on the precautionary principle instead. This makes sense. But there are three other issues that should be highlighted. (shrink)

(2013). Legal idioms: a framework for evidential reasoning. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 46-63. doi: 10.1080/19462166.2012.682656.

I propose an analysis of the metaphysically important distinction between intrinsic and extrinsic properties, and, in the process, provide a neglected model for the analysis of recalcitrant distinctions generally. First, I recap some difficulties with Kim's well-known (1982) proposal and its recent descendants. Then I define two independence relations among properties and state a ‘quasi-logical’ analysis of the distinction in terms of them. Unusually, my proposal is holistic, but I argue that it is in a certain kind of equilibrium and (...) so probably pins down the target distinction uniquely. Finally, I suggest diagnoses of the previous failed attempts to analyse the distinction. (shrink)

An exploratory model is presented as a heuristic to indicate how individual perceptions of corporate reputation (before joining) and corporate ethical values (after joining) generate specific individual organizational senses of fit. The paper suggests that an ethical dimension of person-organization fit may go some way in explaining superior acquisition and retention of staff by those who are attracted to specific organizations by levels of corporate social performance consonant with their ethical expectations, or who remain with them by virtue of better (...) personal ethical fits with extant organizational ethical values. Specifically, the model suggests that individual misfits that arise from ethical expectations that either exceed or fall short of perceived organizational ethical performances lead to problematic acquisition and retention behavioural outcomes. (shrink)

This editorial outlines the articles included in the special thematic symposium on corporate social responsibility and employees and highlights their contributions to the literature. In doing so, it highlights the novel theoretical and empirical insights provided by the articles, how the articles inform and expand the methods and research designs researchers can use to study phenomena in this area, and identifies promising directions for future research.

Artificial intelligence (AI) technology poses possible threats to existing jobs. These threats extend not just to the number of jobs available but also to their quality. In the future, so some predict, workers could face fewer and potentially worse jobs, at least if society does not embrace reforms that manage the coming AI revolution. This paper uses the example of Daron Acemoglu and Simon Johnson’s recent book—_Power and Progress_ (2023)—to illustrate some of the dilemmas and options for managing the future (...) of work under AI. Acemoglu and Johnson, while warning of the potential negative effects of an AI-driven automation, argue that AI can be used for positive ends. In particular, they argue for its uses in creating more ‘good jobs’. This outcome will depend on democratising AI technology. This paper is critical of the approach taken by Acemoglu and Johnson—specifically, it misses the possibility for using AI to lighten work (i.e., to reduce its duration and improve its quality). This paper stresses the potential benefits of automation as a mechanism for lightening work. Its key arguments aim to advance critical debates focused on creating a future in which AI works for people not just for profits. (shrink)

What effect does witnessing other students cheat have on one's own cheating behavior? What roles do moral attitudes and neutralizing attitudes (justifications for behavior) play when deciding to cheat? The present research proposes a model of academic dishonesty which takes into account each of these variables. Findings from experimental (vignette) and survey methods determined that seeing others cheat increases cheating behavior by causing students to judge the behavior less morally reprehensible, not by making rationalization easier. Witnessing cheating also has unique (...) effects, controlling for other variables. (shrink)

It is well-known that the invocation of `equilibrium processes' in thermodynamics is oxymoronic. However, their prevalence and utility, particularly in elementary accounts, presents a problem. We consider a way in which their role can be played by sets of sequences of processes demarcated by curves carrying the property of accessibility. We also examine the vexed question of whether equilibrium processes are necessarily reversible and the revision of this property in relation to sets of sequences of such processes.

What motivates grandparents to their altruism? We review answers from evolutionary theory, sociology, and economics. Sometimes in direct conflict with each other, these accounts of grandparental investment exist side-by-side, with little or no theoretical integration. They all account for some of the data, and none account for all of it. We call for a more comprehensive theoretical framework of grandparental investment that addresses its proximate and ultimate causes, and its variability due to lineage, values, norms, institutions (e.g., inheritance laws), and (...) social welfare regimes. This framework needs to take into account that the demographic shift to low fecundity and mortality in economically developed countries has profoundly altered basic parameters of grandparental investment. We then turn to the possible impact of grandparental acts of altruism, and examine whether benefits of grandparental care in industrialized societies may manifest in terms of less tangible dimensions, such as the grandchildren's cognitive and verbal ability, mental health, and well-being. Although grandparents in industrialized societies continue to invest substantial amounts of time and money in their grandchildren, we find a paucity of studies investigating the influence that this investment has on grandchildren in low-risk family contexts. Under circumstances of duress there is converging evidence that grandparents can provide support that helps to safeguard their children and grandchildren against adverse risks. We conclude by discussing the role that grandparents could play in what has been referred to as Europe's demographic suicide. (shrink)